Werner Damm: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (7)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 7.71 MB

0 / 0

english, 2007

2

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Springer-Verlag Berlin Heidelberg

Werner Damm (auth.)

Рік:

1987

Мова:

german

Файл:

PDF, 7.96 MB

0 / 0

german, 1987

3

Understanding Strategic Interaction: Essays in Honor of Reinhard Selten

Understanding Strategic Interaction: Essays in Honor of Reinhard Selten

Springer-Verlag Berlin Heidelberg

Prof. Dr. Wulf Albers, Prof. Dr. Werner Güth, Priv.-Doz. Dr. Peter Hammerstein (auth.), Prof. Dr. Wulf Albers, Prof. Dr. Werner Güth, Priv.-Doz. Dr. Peter Hammerstein, Prof. Dr. Benny Moldovanu, Prof. Dr. Eric van Damme (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 25.23 MB

0 / 0

english, 1997

4

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

Springer-Verlag Berlin Heidelberg

Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)

Рік:

2004

Мова:

english

Файл:

DJVU, 6.64 MB

0 / 0

english, 2004

5

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 5.33 MB

0 / 0

english, 2002

6

Practical Formal Methods for Hardware Design

Practical Formal Methods for Hardware Design

Springer-Verlag Berlin Heidelberg

Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos, Werner Damm (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 9.78 MB

0 / 0

english, 1997

7

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 7.09 MB

0 / 0

english, 2002